Repenser le préambule des constitutions des États Africains

Sur un nouveau vaccin contre la septicémie hémorragique des Bovidés et le Barbone des Buffles (pasteurelloses)

Le suicide des hommes.

Détection des états affectifs lors d'interactions parlées : robustesse des indices non verbaux

In a Human-Machine Interaction context, automatic in-voice affective state detection systems have to be robust to variabilities and computationally efficient. This paper presents the performance that can be reached using para-verbal (non-verbal) cues. We propose a methodology to select robust parameters families, based on the study of three sets of descriptors, and tested on three different cor...

Sur le pouvoir preventif et curatif des serums antichahbonneux

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...